KURT GŐDEL DAYS

 

International Symposium on Kurt Gődel´s Scientific Heritage

 

 

Tuesday, 25th of April 2006

 

  9.00 - 10.00

Registration

10.00 - 10.15

Opening. Representatives of Masaryk University and Brno University of Technology

10.15 - 11.00

PAVEL MATERNA, Institute of Philosophy, Prague, Masaryk University, Brno

Properties of Mathematical Objects. (Gődel on classes, properties and concepts)

11.00 - 11.45

JAROSLAV PEREGRIN, Charles University, Institute of Philosophy, Prague

Gödel, Truth and Proof

11.45 - 12.30

ECKEHART KŐHLER, University of Vienna

Was Brouwer Platonist in Gődel´s Sense?

12.30 - 14.00

Gala dinner, Restaurant Barborka

14.00 - 14.45

JOHN W. DAWSON, JR., Pennsylvania State University, York

Who was Kurt Gődel and what did he do?

14.45 -15.30

ALEX BLUM, Bar Ilan University, Ramat-Gan

Note on Consistency

15.30 - 16.00

Coffee break

16.00 - 16.45

MARTIN GOLDSTERN, University of Technology, Vienna

Gődel and Set Theory

16.45 - 17.30

MILOŠ DOKULIL, Masaryk University, Brno

May Gődel´s Ideas Be Addressed Philosophicaly?

17.30 – 18.15

PAVEL KLEPÁČ, Masaryk University, Brno

Some Cosmological Solutions of Einstein Equations

 

Wednesday,  26th of April 2006

 

  8.30 – 9.00

PETR HÁJEK, Institute of Computer Science AS CR, Prague

Gődel - Completeness - Incompleteness

 9.00 - 10.00

ROGER PENROSE, Mathematical Institute, Oxford University, Oxford

Gődel, Relativity, and the Mind

10.00 - 11.00

Exchange of greetings with the participants of the Vienna Conference Trip, Toast

Coffee Break

11.00 -11.45

FRANZ EMBACHER, University of Vienna

Mach, Thirring&Lense, Gődel - Getting Dizzy in Space-Time

 


X. Slovensko-české symposium o analytické filosofii

10th Slovak-Czech Symposium on Analytical Philosophy

 

 

Středa, 26.4.2006

 

14.00 - 14.30  

Jiří Fiala: Carnap, Gödel a matematika jakožto syntax jazyka

14.30 - 15.00

Blažena Švandová: Vliv Kurta Gödela na kulturní niveau 20. století

15.00 - 15.30

Marie Duží: Informativeness of Mathematical Statements

 

Přestávka

16.00 - 16.30

Jan Novotný: Šíp a opona času

16.30 - 17.00

Jiří Langer: Jak jsou definovány základní fyzikální veličiny

17.00 - 17.30

Pavel Voráček: Možný klíč k vysvětlení kvantové povahy světa

 

Čtvrtek, 27.4.2006

 

  9.30 – 10.00

Petr Zamarovský: Reálnost reálných čísel?

10.00 – 10.30

Vladimír Havlík: Gödel a AI

 

Přestávka

11.00 – 11.30

Ludmila Dostálová: HilbertGödelHintikka

11.30 – 12.00

Ladislav Kvasz: Kantova filozofia matematiky a Fregeho argument z veľkých čísel

 

Oběd

14.00 – 14.30

František Gahér: Znovu o Fregeho vetnom kontextualizme

14.30 – 15.00

Petr Koťátko: Deskripce a reference: Gödelův a Tichého 'slingshot argument'

 

Přestávka

16.00 – 16.30

Jiří Raclavský: Řešení bludného kruhu a sémantických paradoxů v Transparentní intenzionální logice

16.30 – 17.00

Barbora Čakovská: Skúmanie vzťahu blízkoznačnosti za použitia náležitostí

 

Přestávka

18.00

Theodora Műllerová: Brněnští příbuzní Kurta Gödela

 

Koncert:

Marcel Kapala – varhany

Johann Sebastian Bach: Koncert d moll, BWV 596 (podle Antonia Vivaldiho), skládá se z části bez názvu, dále Grave, Fuga, Largo e spiccato, Finale

Jan Škrdlík – violoncello

Johann Sebastian Bach: Výběr ze Suity C dur pro sólové violončelo (Allemande-Courante), BWV 1009

 

Pátek, 28.4.2006

 

  9.00 – 9.30

Marian Zouhar: Substitúciaextenzionálnych kontextoch: na okraj jednej diskusie

  9.30 – 10.00

Tomáš Čana: O pokroku vo vedách

10.00 – 10.30

Břetislav Fajkus: Vědecká racionalita

 

Přestávka

11.00 – 11.30

Prokop Sousedík: Russellovy úvahy o založení geometrie

 

13.00

Přestávka

Ceremonial Gathering - Slavnostní shromáždění

u příležitosti pojmenování posluchárny jménem Kurta Gödela

28. dubna 2006 ve 13 hod. na Fakultě informačních technologií VUT, Božetěchova 2, Královo Pole, Brno